Reversal Law For Inverses | Ex 1.1.7